Alias Analysis for Fortran90 Array Slices
نویسندگان
چکیده
Most alias analyses produce approximate results in the presence of array slices. This may lead to ine cient code which is of concern, especially, in languages like Fortran90. In this paper, we present an overview of a static alias analysis that gives accurate results in the presence of array slices in
منابع مشابه
Generating Analyzers with PAG
To produce high quality code, modern compilers use global optimization algorithms based on abstract interpretation. These algorithms are rather complex; their implementation is therefore a non{trivial task and error{prone. However, since they are based on a common theory, they have large similar parts. We conclude that analyzer writing better should be replaced with analyzer generation. We pres...
متن کاملGeneration of Efficient Interprocedural Analyzers with PAG
To produce high quality code, modern compilers use global optimization algorithms based on abstract interpretation. These algorithms are rather complex; their implementation is therefore a non{trivial task and error{prone. However, since they are based on a common theory , they have large similar parts. We conclude that analyzer writing better should be replaced with analyzer generation. We pre...
متن کاملLoop Fusion in High Performance Fortran Loop Fusion in High Performance Fortran
In this paper we investigate a unique problem associated with fusing loops within a High Performance Fortran (HPF) program. In particular, we discuss the issue of performing loop fusion in an HPF compiler when compiling Fortran90 array assignment statements for execution on a distributed-memory machine. During compilation of an HPF program, Fortran90 array assignment statements must be scalariz...
متن کاملInterProcedural Alias Analiysis: Implementation and Empirical Results
We report our experiences with the implementation of InterProcedural Alias Analysis (IPA) for Fortran. Implicit aliasing caused by reference parameter passing can be uncovered in a program with multiple compilation units by interprocedural analysis. For scalar objects and for full arrays, the IPA processor described here finds all alias relations. For indexed array elements and partial arrays, ...
متن کاملImprovements in multislice parallel imaging using radial CAIPIRINHA.
Multislice parallel imaging involves the simultaneous sampling of multiple parallel slices which are subsequently separated using parallel imaging reconstruction. The CAIPIRINHA technique improves this reconstruction by manipulating the phase of the RF excitation pulses to shift the aliasing pattern such that there is less aliasing energy to be reconstructed. In this work, it is shown that comb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997